Explaining Logical Necessity1
نویسنده
چکیده
Plan: I: Some facts about logical necessity stated. II: Not all necessity is logical. III: The need for an explanation. IV: Formalists attempt unsuccessfully to reduce logic to syntax. V: The no-sense theory of Wittgenstein’s Tractatus merely reformulates the problem. VI: Crude conventionalism is circular. VII: Extreme conventionalism is more sophisticated. VIII: It yields some important insights. IX: But it ignores the variety of kinds of proof. X: Proofs show why things must be so, but different proofs show different things. Hence there can be no general explanation of necessity.
منابع مشابه
The Access Problem and Knowledge of Logical Possibility
Accepting truth-value realism can seem to raise an explanatory problem: what can explain our accuracy about mathematics, i.e., the match between human psychology and objective mathematical facts? A range of current truth-value realist philosophies of mathematics allow one to reduce this access problem to a problem of explaining our accuracy about which mathematical practices are coherent – in a...
متن کاملLogical Strategery
We propose a conceptual framework for explaining logical reasoning in terms of competing strategies. Contrary to previous approaches in which a single theory is suggested to explain all logical reasoning, this framework suggests that the core elements of existing theories constitute strategies, each of which have unique processing demands. A strategy is more likely to be used when its processin...
متن کاملScope Economy and TAG Locality
This paper gives an analysis explaining various cases where the scope of two logical operators is non-permutable in a sentence. The explanation depends on a theory of derivational economy couched in the synchronous tree adjoining grammar framework. Locality restrictions made using the STAG formalism allow us to limit the computational complexity of using transderivational constraints and allows...
متن کاملThe probabilistic approach to human reasoning.
A recent development in the cognitive science of reasoning has been the emergence of a probabilistic approach to the behaviour observed on ostensibly logical tasks. According to this approach the errors and biases documented on these tasks occur because people import their everyday uncertain reasoning strategies into the laboratory. Consequently participants' apparently irrational behaviour is ...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کامل